cos(14)*10^9 mod sqrt(2)