Added missing float operations and constants

Pretty trivial.
We don't have this operation in int_intf.ml. I'm wondering if we should remove it here or add it to int_intf.ml.