+ #17: SimpleFormat as f~