properties z_one_point double precision