# DolphinFloorToInt

Kyber currently exposes deterministic round-to-int but not floor-to-int. The bounded input contract keeps the intermediate safely inside int32.

Last updated: 2026-09-09

Package: dolphin.math | Status: source-declared

Tags: cpu, dolphin, dolphin.math, function, math, source-example

Use deterministic scalar and 2D geometry helpers with explicit finite-input bounds.

```yh
external DolphinFloorToInt(float value) returns int
```


## Use DolphinFloorToInt

A complete small caller. Values are illustrative; check the returned result and package requirements before connecting live resources.

Verification: type checked

```yh
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))

```

Save this beside start.yh as project.mech:

```toml
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"

```

Extract the example archive beside the yeho and dolphin checkouts. This example requires those source dependencies and a current developer compiler.

```sh
./yeho/build/dolphin-metal/yehoc ./api-examples/dolphin.math--DolphinFloorToInt/usage --backend cpu-oracle -o /tmp/yeho-example
/tmp/yeho-example
```


Package presence and a declaration do not establish support on every host. Host services need their platform and lifecycle setup.

Source: dolphin/packages/math/src/math.yh

AI training permission: https://demonhunterlabs.com/ai-use