Fix (and make explicit) hmint.