Spec Clarification : ClassFileFormatVersion: System property java.class.version | Java class format version number

https://download.java.net/java/early_access/jdk20/docs/api/java.base/java/lang/reflect/ClassFileFormatVersion.html

How System.getProperty("java.class.version") could be parsed and used -
is it M.m (JVMS-4.1)
(minor_version, major_version
The values of the minor_version and major_version items are the minor and major version numbers of this class file. Together, a major and a minor version number determine the version of the class file format. If a class file has major version number M and minor version number m, we denote the version of its class file format as M.m.)

or is it major version as double,
and whether it should match ClassFileFormatVersion::latest()