What steps will reproduce the problem?
1. Try to load the attached CTM topic map into Omnigator
2. You will get the following error report:

Could not reload topic map: ctm_1_0_bug.ctm
java.io.IOException: Lexical error at file:/C:/Program 
Files/Ontopia/ontopia-5.1.2/apache-tomcat/webapps/omnigator/WEB-INF/topicmaps/ct
m_1_0_bug.ctm:6:0: expecting STOP, found 'another_decimal_occurrence'The store 
registry has been updated in APPLICATION_SCOPE.

What is the expected output? What do you see instead?

Expected to successfully load the topic map and have two occurrences for "some 
topic", one with decimal value 1.2 and one with decimal value 1.0 . 

Please use labels and text to provide additional information.

I was looking through the code and noticed a rule in ctm.flex:

YYINITIAL {
"1.0" { return(newToken.CTMParser.ONEOH); }
...
}

This rule is active in the YYINITIAL state so it prevents the {decimal} rule 
from finding a valid decimal value of 1.0.