Precisions about float representation