lein number format fix