Faults in Linux 3.x : Using Floating Point Values