Bsucc

These are useful to specify next_up/down in our primitive floats Coq branch https://github.com/validsdp/coq/tree/primitive-floats