Add tests for augmented floor division