Increased precision from float to double
Fixed potential bug in GuoLabStyle.constant1f
Use double precision in explorer