fix (class-of #u32())