added a note about random(max: float): float's resolution on windows