checkasm: Fix floating point arguments on 64-bit Windows