New issue from Marshall abou inconsistent floating-point IO extraction