[crt] Fix divide_double and unsigned_divide_double on 64bit platforms
Merge pull request #466 from abeaumont/master

[crt] Fix divide_double and unsigned_divide_double on 64bit platforms