Stubbed out floating point