I know we wrote this code a while ago, but are we sure that `EPSILON6` is best?  It seems pretty big.