Numerical Constraint-Aware Dense Retrieval with Two-Phase Contrastive Learning | Synapse