dolphin.math · function ·
DolphinFloorToInt
Kyber currently exposes deterministic round-to-int but not floor-to-int. The bounded input contract keeps the intermediate safely inside int32.
Use deterministic scalar and 2D geometry helpers with explicit finite-input bounds.
external DolphinFloorToInt(float value) returns intStatus: source-declared
Parameters
float value- Supply value as float.
Use DolphinFloorToInt
A complete small caller. Values are illustrative; check the returned result and package requirements before connecting live resources.
cpu · source-example · type checked
using dolphin.math
// Use deterministic scalar and 2D geometry helpers with explicit finite-input bounds.
float value = 1.0
int result = DolphinFloorToInt(value)
Console.Log(Text.From(result))
project.mech
manifestVersion = "2"
package = "api.example.dolphin_math__dolphinfloortoint"
version = "0.1.0"
languageEdition = "yeho-core-2026.1"
[app]
kind = "headless"
[[dependencies]]
package = "dolphin.math"
version = "0.1.0"
path = "../../../dolphin/packages/math"
Notes and source
Package presence and a declaration do not establish support on every host. Host services need their platform and lifecycle setup.
dolphin/packages/math/src/math.yh:63