add automatic kbound expansion for denominator

helps a lot!

note that it's possible I should be expanding more