New issue from Richard about underlying_type definition