I always thought the statement
{-# BUILTIN NATURAL ℕ #-}