I can't find any documentation on the behavior of the Rem implementation for f64 (or f32). Where can I find out how it precisely works, regarding rounding modes etc? Is it the IEEE 754-2008 "remainder" operation?