more fiddling with the numeric type in ipe objects etc