default for int