if x is floating zero and mzero are considered distinct.
ensures that the input is never less than the result of the call.
works only if inputs are normal numbers (this excludes floating zeroes, denormals or not finite). the option has no influence on the two parameters calls