I would like to point out that there is currently no good way of distinguishing version 7.01 -> (7 0 1) version 70.1 -> (7 0 1) ?! This ambiguity would be avoided if versions were represented as exact decimals instead of lists. Andre