[SMT-LIB] Feature request: nextUp and nextDown in FP

[Florian Schanda]

Hi Martin, Cesare,

I would like to feature request (at low priority) nextUp and nextDown to 
appear in the FP theory. They seem like a fairly obvious addition, and for 
example in languages such as SPARK and Ada you do have access to them 
directly.

Are there any difficulties I am missing?

Thanks,

	Florian