that could be done, because compiler can verify th...
# announcements
o
that could be done, because compiler can verify that no loss of precision or something is happening