Use double precision as the default implementation.