add "double precision" to the title