Floating point arithmetic

Sep 29 at 12:40 PM
Is there a plan to support verification of floating point arithmetic?