[docs] [issue16609] random.random() / float() loses precision when passed to str()