input generator modified to output compact float point; String concatenation substituted by StringBuilder