force floating point 2^31