A float point arithmetic in kernel extension