Spec: Single precision floating point arithmetic is sufficient

specification.md

@@ -418,7 +418,9 @@ The mC compiler targets x86 and uses GCC as back-end compiler.
 On an x86_64 system, GCC multi-lib support must be available and the flag `-m32` is passed to the compiler.
 
 The code generated by the back-end is compiled with the [GNU Assembler](https://en.wikipedia.org/wiki/GNU_Assembler) (by GCC).
-Pay special attention to floating point and integer handling.
+
+Single precision floating point arithmetic is sufficient.
+The `print_float` built-in only outputs 2 decimal places.
 
 Use [cdecl calling convention](https://en.wikipedia.org/wiki/X86_calling_conventions#cdecl).
 It is paramount to correctly implement the calling convention, otherwise the stack may get corrupted during function calls and returns.