added float-decimal workaround