[docs] Re: Python tutorial floating point documentation