1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
use num::basic::floats::PrimitiveFloat;
use num::conversion::traits::{IsInteger, WrappingFrom};
use num::logic::traits::TrailingZeros;
fn is_integer_float<T: PrimitiveFloat>(x: T) -> bool {
if x.is_nan() || x.is_infinite() {
false
} else if x == T::ZERO {
true
} else {
let (raw_mantissa, raw_exponent) = x.raw_mantissa_and_exponent();
raw_exponent != 0
&& i64::wrapping_from(
raw_exponent
+ if raw_mantissa == 0 {
T::MANTISSA_WIDTH
} else {
TrailingZeros::trailing_zeros(raw_mantissa)
},
) > -T::MIN_EXPONENT
}
}
macro_rules! impl_is_integer_primitive_int {
($t:ident) => {
impl IsInteger for $t {
#[inline]
fn is_integer(self) -> bool {
true
}
}
};
}
apply_to_primitive_ints!(impl_is_integer_primitive_int);
macro_rules! impl_is_integer_primitive_float {
($t:ident) => {
impl IsInteger for $t {
#[inline]
fn is_integer(self) -> bool {
is_integer_float(self)
}
}
};
}
apply_to_primitive_floats!(impl_is_integer_primitive_float);