Satradix: specify radix constants in kernel