obj to_int32 obj2 All universalNumber in obj are changed to integer (int32). Example: /ff [1 (2).. [(hello) (0).]] def ff { tag } map :: ff to_int32 { tag } map :: cf. to_int, to_univNum