Frama-C API - Builtins_float

Builtins for standard floating-point functions.

Nothing is exported, all the builtins are registered through Builtins.register_builtin