Try to clarify the semantics of fptrunc