/* We don't need no stinking inline versions.  Life is hard enough as it
   is with this hybrid soft/hard float business.  */