Unit tests for AutoFloat