machine_epsilon() implemented