[Edu-sig] re: Types and true division (was Re: strange output