franky reduces the double precision