(38 lines)
1 '\" t2 .\" Copyright (c) 2025 Bruce Hill3 .\" All rights reserved.4 .\"5 .TH Num.with_precision 3 2025-11-29 "Tomo man-pages"6 .SH NAME7 Num.with_precision \- round to a given precision8 .SH LIBRARY9 Tomo Standard Library10 .SH SYNOPSIS11 .nf12 .BI Num.with_precision\ :\ func(n:\ Num,\ precision:\ Num\ ->\ Num)13 .fi14 .SH DESCRIPTION15 Round a number to the given precision level (specified as `10`, `.1`, `.001` etc).18 .SH ARGUMENTS20 .TS21 allbox;22 lb lb lbx23 l l l.24 Name Type Description25 n Num The number to be rounded to a given precision.26 precision Num The precision to which the number should be rounded.27 .TE28 .SH RETURN29 The number, rounded to the given precision level.31 .SH EXAMPLES32 .EX33 assert (0.1234567).with_precision(0.01) == 0.1234 assert (123456.).with_precision(100) == 12350035 assert (1234567.).with_precision(5) == 123456536 .EE37 .SH SEE ALSO38 .BR Tomo-Num (3)