`f32`&`f64` to `u64` cast broken

[fuhsnn]

#include <stdio.h>

int main(void) {
  printf("%llu\n", (unsigned long long) 13835058055282163712.0f);
  printf("%llu\n", (unsigned long long) 13835058055282163712.0);
  // expect 13835058055282163712
  // got 9223372036854775808
}