let
exformat k =
let
temp = format resultin 0 k
in
String
.sub temp 0 ((
String
.length temp)-1)