Greatest Integer Function In Python