Functions

avoid overflows unless lcm(m0, m1) overflows.