In reply to Tayyaba.

Yes, where "round down" means "round towards minus infinity."