PowerPC: modf optimization