The Sierpinski Object in the Scott Realizability Topos (Logical Methods in Computer Science, 2020)