die("float cannot be packed into integer") 
  unless ($int_size >= $float_size);