double-float parsing