Should be: ```[cast(uint)(d & 0xFFFF_FFFF), cast(uint)(d>>32)];```
Hence the test failure.