div64_u64(): improve precision on 32bit platforms