Numerically consistent Eq, Ord and Hash implementations for various num types.