Switching to double precision just to test