Module Nativeint

module Nativeint: sig .. end

include Number.Verified_std