Fix type typos in IntBaseType docs