1 package polyglot.ext.pao.runtime;2 3 /**4 * Boxed floats.5 */6 public class Float extends Double {7 public Float(float value) {8 super(value);9 }10 11 public float floatValue() {12 return (float)value;13 }14 }