Question: In C and Objective-C, what really is the right way to truncate a float or double to an integer?