phppgadmin: showing float as double precision

Question

I have created a table using

CREATE TABLE "devicedata" (
          "id" serial NOT NULL PRIMARY KEY, 
          "sn" text NOT NU