Fix bad use of unimplementedNull in an int method from #19.