00001 00007 package org.best_of_robotics.model.datatypes; 00008 00009 00020 public interface Double extends SimpleType { 00021 } // Double