NumberFormatPatcher.java

package com.googlecode.gwt.test.internal.patchers;

import com.google.gwt.i18n.client.NumberFormat;
import com.googlecode.gwt.test.patchers.PatchClass;
import com.googlecode.gwt.test.patchers.PatchMethod;

import java.math.BigDecimal;

@PatchClass(NumberFormat.class)
class NumberFormatPatcher {

    @PatchMethod
    static String toPrecision(double d, int digits) {
        return new BigDecimal(d).setScale(digits, BigDecimal.ROUND_DOWN).toString();
    }

}