More tests
Fix a bug in Barrett division