C Floating Point Division