Fixed: numerical equivalence bug