JavaDoubleTypeNode.st
changeset 2330 b189800c0d92
parent 2260 06c49f3d9b86