Размер в битах типа Int GHC

Почему тип GHC Int не гарантирует использование ровно 32 бита точности? В этом документе утверждается , что он имеет как минимум 30-битную точность со знаком. Связано ли это как-то с подгонкой Maybe Int или подобного в 32-битные?