macro_rules! impl_one_value {
    (f32, $op:expr, $record:ident) => { ... };
    (f64, $op:expr, $record:ident) => { ... };
    (bool, $op:expr, $record:ident) => { ... };
    ($value_ty:tt, $op:expr, $record:ident) => { ... };
    (normal, $value_ty:tt, $op:expr, $record:ident) => { ... };
    (nonzero, $value_ty:tt, $op:expr, $record:ident) => { ... };
}