A bit more progress on a macro helper for bounded numerics.