RangeError test now passing in Zellers Congruence class