cf.http://elm-chan.org/junk/32bit/report.html