Be more precise in doc about floating point numbers.