Postgres's double is named "double precision"