Fix missing IntConvertible.