IEEE floating point getallen · edusources