chiark / gitweb /
handle lb == ub in MMA (bugfix)