Quotient[( (1e18 / 2) + x * (0.0025e18) ), 1e18] = 0 , x > 0