More work on erl-integ.