A Benchmark for Open-Domain Numerical Fact-Checking Enhanced by Claim Decomposition