fpu: Add float64_to_int{32,64}_modulo