Codegen produces a negative result from floating point modulo by a negative number, but bounds inference assumes it's positive. Consensus at the dev meeting was to make it positive for consistency with integer mod (i.e float mod should produce the same thing as int mod if the floats happen to be ints).
Codegen produces a negative result from floating point modulo by a negative number, but bounds inference assumes it's positive. Consensus at the dev meeting was to make it positive for consistency with integer mod (i.e float mod should produce the same thing as int mod if the floats happen to be ints).