Could not find mkFPConst(String) for floats similar to mkRealCons(String)

[AnishGG]

Hello, Thank you for the awesome API.

I am completely new to z3 and I am trying to perform a constraint satisfying problem. This is what I want to achieve:

a * 2.5 
But I am not able to find any way to represent a which should be a floating point number.
Can someone help me here.
Also, are there any examples that I can refer to, for scalaZ3.
Any help would be much appreciated!