sharpen

Warning

The stormpy developer API is internal and can be subject to change.

sharpen(

precision: SupportsInt | SupportsIndex,

value: SupportsFloat | SupportsIndex,

) → stormpy.numbers.Rational

Convert a float to the nearest rational within precision using Kwek Mehlhorn