test that map values returned by w3_getval are double precision