Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

How do I convert a real number (e.g. 1.0) to an integer (1) format?

April 26, 2017convert format integer

0

Posted

How do I convert a real number (e.g. 1.0) to an integer (1) format?

1 Answer

0

Posted

Integer is fix(Real) Often you’ll want to round the real number appropriately first (round/2, floor/2, ceiling/2) rather than relying on fix’s truncation. See the documentation for is/2 and fix/2.