Re: How to handle float-point operations