proveit.physics.quantum.QPE._scaled_delta_b_floor_in_interval
proveit.core_expr_types
proveit.logic
proveit.numbers
proveit.physics.quantum.QPE._scaled_delta_b_round_in_interval