win64: fix fixnum-to-extfl conversion