My previous patch was too conservative. Reject FP and void types, but do