Added missing info about rounding down