How convert number to int32?

heiheshang March 9, 2021, 1:16am 1

Hi.
I need to convert a number to int32 how to do it?

Topic		Replies	Views
Tabling: Problem with answer subsumption? Help! how-to	9	454	July 11, 2020
Type conversion Help!	1	246	June 12, 2019
Searching for ways to compute directly in hexadecimal Data Structure	14	514	December 29, 2022
Careful with the floats Help!	11	830	July 29, 2021
Another floating point casualty: round/integer arithmetic functions Predicate bug	7	743	March 24, 2022