module Soroban::Float0