Isn't epsilon() the right one? But not sure here.