uint32: more type checking