Test also with double precision