Adjusting sea level manually in dev mode

I'd like to fix slight flooding in my city by manually adjusting the sea level down by a couple of tenths or hundreds in dev mode but all you seem to be able to do is click a bar with very little fine precision. Is there a way to manually type a value in natively or a mod that allows this?