Treat doubles as doubles, not floats.