defimpl Division for: Native.Float64, as: -> def divide_by other: Native.Float64, as: -> Huia.Primitive.f64_division(lhs: self, rhs: other) end def divide_by other: Native.Integer64, as: -> as_float = Huia.Primitive.i64_to_f64!(value: other) Huia.Primitive.f64_division(lhs: self, rhs: as_float) end def divide_by other: Any, as: -> Result.none() end end