On 23/03/2022 03.55, Kazuya Ito wrote: > Add "trun()" function to Python to truncate decimal part. Which of these should its behavior copy? >>> from math import pi >>> int(pi) 3 >>> pi-int(pi) 0.14159265358979312 >>> -- Michael F. Stemper This post contains greater than 95% post-consumer bytes by weight.