Patrick McHardy <kaber@xxxxxxxxx> wrote: > > > Any reason why you chose to add this type instead of a generic floating point type? > > > > I wanted 0.9999 be tranlated to a value close to UINT32_MAX and 0.00001 > > to something close to zero so that "meta random 0.999" can be translated to > > something like > > > > reg1 = prandom_u32() > > reg1 <= 0xffffffee > > > > I.e. this type cannot represent 5.2 (or whatever). > > > > Does that answer your question? > > Not really unless I'm misunderstanding your intention. That part is > related to the kernel internal representation and could be handled > during linearization. So what would you suggest? Add support for translating double to mpz_t? What precisions would you support? How to handle the scaling at (de)linearization time if type doesn't do that aynmore? What should happen when user asks for meta random 42.23 ? -- To unsubscribe from this list: send the line "unsubscribe netfilter-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html