Repairs implementation of bit manipulation in java.lang.Double. Disables
GVN due to bug