-module(themis@number).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).

-export([int/1, dec/1, pos_inf/0, neg_inf/0, nan/0]).

-file("/git/Themis/src/themis/number.gleam", 4).
-spec int(integer()) -> internal@prometheus:number_().
int(Value) ->
    {int, Value}.

-file("/git/Themis/src/themis/number.gleam", 9).
-spec dec(float()) -> internal@prometheus:number_().
dec(Value) ->
    {dec, Value}.

-file("/git/Themis/src/themis/number.gleam", 14).
-spec pos_inf() -> internal@prometheus:number_().
pos_inf() ->
    pos_inf.

-file("/git/Themis/src/themis/number.gleam", 19).
-spec neg_inf() -> internal@prometheus:number_().
neg_inf() ->
    neg_inf.

-file("/git/Themis/src/themis/number.gleam", 24).
-spec nan() -> internal@prometheus:number_().
nan() ->
    na_n.