#>!
     void double_to_uint32(double d, ___out uint32_t& hi, ___out uint32_t& li)
     {
       union { double d; uint64_t i; } mem;
       mem.d = d;
       li = mem.i;
       hi = mem.i >> 32;
     }
<#

(double_to_uint32 1.3 hi li)