add half_integers.go