floating point hole - non-representability - of 0.1
and funny things that happen because of this