Added alien type specifier OPTIMIZED-DOUBLE-FLOAT