let zero = inject Int.zero