[crt] Fix divide_double and unsigned_divide_double on 64bit platforms